extern unsigned char char_width (char c);
extern const unsigned char *char_bits (char c);
